Backtracking As Progress